If jEdit is running in background mode on windows, I guess there is an extra process
that needs to be killed manually, because updater doesn't properly do it. And it's
hard to tell if the update is a success in the end if I have to manually kill jEdit
and the background server tray icon.
Submitted | ezust - 2012-09-22 - 15:23:08z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | None |
Status | Open | Group | None |
Resolution | None | Visibility | No |